duality functor

[数] 对偶(性)函子